Incorporating a Formal Design Technique into an Industrial Environment: An Experience Report
نویسندگان
چکیده
Formal Specification Techniques (FSTs) are mathematically-based techniques that can be used by system designers to specify the desired behavior of a computer-based system and its structural properties. It has been hypothesized that the use of FSTs in software design has two primary advantages: (1) the act of formalizing design concepts provides the designer with insights that can lead to a deeper understanding of solutions and can uncover faults in designs, and (2) rigorous analysis of the design can reveal errors not easily captured in reviews of informal models. This paper describes a technology transfer pilot project that was initiated to test this hypothesis in an industrial, rather than academic, environment.
منابع مشابه
Incorporating Formal Techniques into Industrial Practice
We report about experiences with component-based development supported by formal techniques at Philips Healthcare. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven developm...
متن کاملIncorporating Formal Techniques into Industrial Practice: an Experience Report
We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven developm...
متن کاملPreliminary Vehicle Structure Design: an Industrial Application of Imprecision in Engineering Design
The Method of Imprecision, or MoI, is a formal method for incorporating imprecise information into a design process. This methodology has been exercised on a problem in preliminary vehicle structure design in collaboration with VW Wolfsburg. Results show that the method is useful in trading off multiple conflicting attributes, including styling preferences and engineering requirements.
متن کاملEvaluation Green Suppliers Using DEMATEL Technique in Fuzzy Environment
Green supply chain management (GSCM) is crucial for environmental compliance and business development of companies. Companies look for new ideas and methods to achieve environmental sustainability. GSCM is an innovative idea which involves all business value-adding operations, such as purchasing and in-bound logistics, production and manufacturing, distribution, out-bound logistics, and collabo...
متن کاملAnalytical software design : introduction and industrial experience report
Analytical Software Design (ASD) is a design approach that combines formal and empirical methods for developing mathematically verified software systems. Unlike conventional design methods, the design phase is extended with more formal techniques, so that flaws are detected earlier, thereby reducing the time needed for coding, testing, and integration. In this paper, we demonstrate formal detai...
متن کامل